| driverlog |
C* |
p* |
WVC |
| driverlog:p01.pddl |
7 |
1.00 |
9 |
| driverlog:p02.pddl |
19 |
0.47 |
10157 |
| driverlog:p03.pddl |
12 |
0.67 |
1850 |
| driverlog:p04.pddl |
16 |
0.50 |
21060 |
| driverlog:p05.pddl |
-1 |
-1 |
-1 |
| driverlog:p06.pddl |
11 |
0.55 |
11793 |
| driverlog:p07.pddl |
-1 |
-1 |
-1 |
| driverlog:p08.pddl |
-1 |
-1 |
-1 |
| driverlog:p09.pddl |
-1 |
-1 |
-1 |
| driverlog:p10.pddl |
-1 |
-1 |
-1 |
| driverlog:p11.pddl |
-1 |
-1 |
-1 |
| driverlog:p12.pddl |
-1 |
-1 |
-1 |
| driverlog:p13.pddl |
-1 |
-1 |
-1 |
| driverlog:p14.pddl |
-1 |
-1 |
-1 |
| driverlog:p15.pddl |
-1 |
-1 |
-1 |
| driverlog:p16.pddl |
-1 |
-1 |
-1 |
| driverlog:p17.pddl |
-1 |
-1 |
-1 |
| driverlog:p18.pddl |
-1 |
-1 |
-1 |
| driverlog:p19.pddl |
-1 |
-1 |
-1 |
| driverlog:p20.pddl |
-1 |
-1 |
-1 |